An Approach to Test Program Generation for Memory Coherence Verification of “Elbrus” Microprocessors

One of the key aspects correctness memory subsystem a microprocessor is its functioning in accordance with coherence protocol. This article presents an approach to test program generation for verification “Elbrus” microprocessors. Requirements tests are considered. The map structure allowing describe areas used and types accesses these flexible way presented. method based on described. automatic proposed. Generated have been RTL models FPGA-based prototypes.